Model-Based Development of Embedded Systems

Model-based development relies on the use of explicit models to describe development activities and products. Explicit process and product models allow the definition and use of complex development steps that are correct by design, the generation of proof obligations for a given transformation, requirements tracing, and documentation of the process. We argue that the concept of model-based development is orthogonal to a specific process, be it agile or rigorous.